منابع مشابه
FaCT++ Description Logic Reasoner: System Description
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additional support for datatypes, including strings and integers. The system employs a wide range of performance enhancing optimisations, including both standard techniques (such as absorption and model merging) and newly d...
متن کاملHypothetical revision and matter-of-fact supp osition
The recent literature offers several models of the notion of matter-of-fact supposition 1 revealed in the acceptance of the so-called indicative conditionals. Some of those models are qualitative (Collins 1990), (Levi 1996), (Stalnaker 1984). Other probabilistic models appeal either to infinitesimal probability or two place probability functions ((van Fraassen 1995), (Joyce 1999), (McGee 1994))...
متن کاملLogic, Form and Matter
1 I go along with Sharpe and others (e.g. Stein Olsen, The Structure of Literary Understanding, 1978) in thinking of interpreting as one among several critical activities. Interpretation may but need not lead up to evaluatiQn whilst evaluation always presupposes interpretation. A line cannot always be drawn in critical practice, but there are obvious cases of interpretative judgements (e.g. tha...
متن کاملdesign of an analog fuzzy logic controller chip
fuzzy logic has been developed over the past three decades into a widely applied techinque in classification and control engineering. today fuzzy logic control is one of the most important applications of fuzzy set theory and specially fuzzy logic. there are two general approachs for using of fuzzy control, software and hardware. integrated circuits as a solution for hardware realization are us...
15 صفحه اولTruth After the Fact in Indeterminist Tense Logic
Branching conceptions of time invoke temporal models in which the same synchronic state is associated with multiple future outcomes. Indeterminist conceptions of time add to this picture the idea that a sentence can be true at a moment with alternative futures only if its truth depends only on the history of things up to and including that moment. In particular, consider an atomic formula p, an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mind
سال: 1879
ISSN: 0026-4423,1460-2113
DOI: 10.1093/mind/os-4.13.120